Skip to content

Conversation

@IdrissRio
Copy link
Contributor

@IdrissRio IdrissRio commented Feb 2, 2026

Changes the C++ overlay discard logic to query extracted files directly from the overlay database instead of relying on overlayChangedFiles populated by the CLI.

See internal PR.

@github-actions github-actions bot added the C++ label Feb 2, 2026
@IdrissRio IdrissRio changed the title C/C++ overlay: use files table instead of overlayChangedFiles for o… C/C++ overlay: use files table instead of overlayChangedFiles for overlay discard Feb 2, 2026
@IdrissRio IdrissRio added depends on internal PR This PR should only be merged in sync with an internal Semmle PR no-change-note-required This PR does not need a change note labels Feb 2, 2026
@IdrissRio IdrissRio marked this pull request as ready for review February 3, 2026 11:52
@IdrissRio IdrissRio requested a review from a team as a code owner February 3, 2026 11:52
Copilot AI review requested due to automatic review settings February 3, 2026 11:52
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR refactors the C++ overlay discard logic to query extracted files directly from the files table in the overlay database, replacing the previous approach that relied on the overlayChangedFiles table populated by the CLI.

Changes:

  • Introduced new overlayHasFile predicate that queries the files table to determine which files were extracted in the overlay database
  • Updated discardElement predicate to use the new overlayHasFile approach instead of overlayChangedFiles
  • Updated documentation comments to reflect that elements are discarded based on files extracted in the overlay rather than "changed files"

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

C++ depends on internal PR This PR should only be merged in sync with an internal Semmle PR no-change-note-required This PR does not need a change note

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants